Computer Laboratory - PDFSEARCH.IO - Document Search Engine

Computer Laboratory
Results: 4525

#	Item
321	Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, FebruaryPractical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2016-08-22 23:25:09 Computing Fault-tolerant computer systems Data synchronization State machine replication Replication Network File System Byzantine fault tolerance Consensus Ping Transmission Control Protocol Virtual synchrony Data grid
322	Guide to lhs2TEX (for versionRalf Hinze Computing Laboratory, University of Oxford Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Software engineering Software Computer programming Source code Functional languages Haskell Literate programming Directive Comment Printf format string Map LaTeX
323	Mechanism Design by Creditability? Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland Abstract. This paper attends to the pro Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:19 Game theory Decision theory Gaming Mechanism design Social choice theory VickreyClarkeGroves mechanism Nash equilibrium Mathematics
324	Programmatic Semantics for Natural Language Interfaces Hugo Liu MIT Media Laboratory 20 Ames Street 320D, Cambridge, MA USA ABSTRACT Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2005-09-14 18:06:23 Software engineering Computer programming Computing Programming paradigms Human communication METAFOR Programming language Semantics Procedural programming Object-oriented programming Actor model User interface
325	Luis Vázquez, born on January 26th 1949 in Narayola (León). Full Professor of Applied Mathematics in Applied Mathematics Department of Computer Sciences Faculty of Complutense University of Madrid (UCM) where he got th Add to Reading List Source URL: www.fdi.ucm.es Language: English - Date: 2010-02-25 10:02:58 Astrobiology New Mexico Outer space Rover Environmental Monitoring Station Space program of Spain Los Alamos National Laboratory Mars MetNet NASA Astrobiology Institute
326	Laboratory for Computer Security Education 1 Cross-Site Scripting (XSS) Attack Lab cWenliang Du, Syracuse University. Add to Reading List Source URL: www.cis.syr.edu Language: English - Date: 2010-11-01 16:33:26 Computing Software engineering Software Hypertext Transfer Protocol JavaScript Web development World Wide Web Ajax HTTP cookie Cross-site scripting XMLHttpRequest Cross-site request forgery
327	Bob Sherbert Experience Johns Hopkins University Applied Physics Laboratory Add to Reading List Source URL: carbidelabs.com Language: English - Date: 2013-08-01 21:16:43 Software Computer architecture System software Cross-platform software Embedded operating systems Real-time operating systems Humanoid robot Linux Robot Operating System FreeRTOS Robot Open-source robotics
328	Introducing the CrySyS Lab Levente Buttyán Laboratory of Cryptography and System Security (CrySyS Lab) Department of Networked Systems and Services Budapest University of Technology and Economics www.crysys.hu Add to Reading List Source URL: www.crysys.hu Language: English - Date: 2016-07-26 04:36:44 Cyberwarfare Computer security Cybercrime Malware Rootkits Cryptography CrySyS Lab Duqu Stuxnet Flame Wiper Ambient intelligence
329	Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-25 05:29:57 Algebra over a field Process calculus Stochastic process Stochastic Jane Hillston Process calculi Data Computing PEPA Information Non-associative algebras TAPAs model checker
330	Microsoft PowerPoint - rosecirm-PGAS11.pptx Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-04 14:28:34 Computing Software engineering Data types Computer programming Parallel computing Livermore Valley Pointer Const Unified Parallel C Livermore Universal Product Code Lawrence Livermore National Laboratory

UPDATE